Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
نویسندگان
چکیده
منابع مشابه
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Our general concern is with how to integrate a representation of action into an existing set of state constraints. As has been observed in the literature, state constraints implicitly define indirect effects of actions as well as indirectly imposing further preconditions on the performance of actions. Thus, any representation scheme we propose must address the ramification and qualification pro...
متن کاملA Closed-Form Solution to the Ramification Problem
Our general concern is with how to integrate a representation of action into an existing set of state constraints. As has been observed in the literature, state constraints implicitly define indirect effects of actions as well as indirectly imposing further preconditions on the performance of actions. Thus, any representation scheme we propose must address the ramification and qualification pro...
متن کاملOn the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang’s Conjecture
The purpose of this paper is twofold. First we derive theoretically, using appropriate transformation on x(n), the closed-form solution of the nonlinear difference equation x(n+1) = 1/(±1 + x(n)), n ∈ N_0. The form of solution of this equation, however, was first obtained in [10] but through induction principle. Then, with the solution of the above equation at hand, we prove a case ...
متن کاملA General First-Order Solution to the Ramification Problem
We present a combined solution to the frame and ramification problems that is independent of the underlying time structure. Indirect effects are expressed through ramification rules that are compiled into first-order effect axioms. To cope with the notorious problem of self-justifying cycles, we use techniques known from translations of normal logic programs to logical theories: cyclic fluent d...
متن کاملA closed-form solution to blind equalization
1 Abstract In some recent papers new algorithms for blind adaptive equalization were proposed. These algorithms are based on the stochastic gradient method and thus can be regarded as a blindd counterpart to the classic LMS-(least mean squares-) algorithms. It is well-known that these algorithms show relatively slow convergence speed. The classic solution to get fast convergence is the RLS-(rec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2000
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(99)00087-9